- isomorphic categories
- Математика: изоморфные категории
Универсальный англо-русский словарь. Академик.ру. 2011.
isomorphic categories
Смотреть что такое "isomorphic categories" в других словарях:
Isomorphism of categories — In category theory, two categories C and D are isomorphic if there exist functors F : C rarr; D and G : D rarr; C which are mutually inverse to each other, i.e. FG = 1 D (the identity functor on D ) and GF = 1 C . This means that both the objects … Wikipedia
Equivalence of categories — In category theory, an abstract branch of mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are essentially the same . There are numerous examples of categorical equivalences… … Wikipedia
Natural transformation — This article is about natural transformations in category theory. For the natural competence of bacteria to take up foreign DNA, see Transformation (genetics). In category theory, a branch of mathematics, a natural transformation provides a way… … Wikipedia
Congruence lattice problem — In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most … Wikipedia
Semidirect product — In mathematics, especially in the area of abstract algebra known as group theory, a semidirect product is a particular way in which a group can be put together from two subgroups, one of which is a normal subgroup. A semidirect product is a… … Wikipedia
Covering space — A covering map satisfies the local triviality condition. Intuitively, such maps locally project a stack of pancakes above an open region, U, onto U. In mathematics, more specifically algebraic topology, a covering map is a continuous surjective… … Wikipedia
Skeleton (category theory) — In mathematics, a skeleton of a category is a subcategory which, roughly speaking, does not contain any extraneous isomorphisms. In a certain sense, the skeleton of a category is the smallest equivalent category which captures all categorical… … Wikipedia
Isomorphism theorem — In mathematics, specifically abstract algebra, the isomorphism theorems are three theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules,… … Wikipedia
Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… … Wikipedia
Group action — This article is about the mathematical concept. For the sociology term, see group action (sociology). Given an equilateral triangle, the counterclockwise rotation by 120° around the center of the triangle acts on the set of vertices of the… … Wikipedia
Groupoid — dablink|This article is about groupoids in category theory. For the algebraic structure with a single binary operation see magma (algebra). In mathematics, especially in category theory and homotopy theory, a groupoid is a simultaneous… … Wikipedia
